Foreign Computer Systems

ACL2 is a programming language in which you can model computer systems and a tool to help you prove properties of those models. ACL2 stands for "A Computational Logic for Applicative Common Lisp". It is an "industrial-strength" version of the NQTHM or Boyer/Moore theorem prover, and has been... Platforms: Linux

Ibis is an open source Java grid software project of the Computer Systems group, which is part of the Computer Science department of the Faculty of Sciences at the Vrije Universiteit, Amsterdam, The Netherlands. Using Ibis, software can be developed which runs reliably and efficiently on a... Platforms: Linux

This is a Flash simulation of the Stargate Atlantis Computer systems including Dial Home Device and Outgoing Gate screen. Platforms: Windows, Mac

System Integrity Checker can make sure that no unauthorized changes have been made to your computer systems. Installation: $ tar zxvf sic-x.y.z.tar.gz $ cd sic-x.y.z $ ./configure $ make $ make install Whats New in This Release: - Threading support was improved. - Support for... Platforms: Linux

Electronics - DC Current flow - Basic Electronics - Resistor Value Test - Simple DC Circuits - Types of Switching - Variable Voltages - Ohm's Law - DC Voltage - DC Current - Series/Parallel Resistors - AC Measurements - AC Voltage and Current - AC Theory - RCL Series Circuits - RCL Parallel... Platforms: WinXP, Windows2000, Windows2003, Windows Vista, Windows Vista x64, Win98, WinME, WinNT 4.x, Win95, Linux, Windows Vista, Windows Vista x64

Electronics - DC Current flow - Basic Electronics - Resistor Value Test - Simple DC Circuits - Types of Switching - Variable Voltages - Ohm's Law - DC Voltage - DC Current - Series/Parallel Resistors - AC Measurements - AC Voltage and Current - AC Theory - RCL Series Circuits - RCL Parallel... Platforms: WinXP, Windows2000, Windows2003, Windows Vista, Windows Vista x64, Win98, WinME, WinNT 4.x, Win95, Linux, Windows Vista, Windows Vista x64

Name: Soft Cleaner About: Automatically speed up your slow computer systems. Anti-Spyware. Advanced web and very advanced file search engine utility. Advanced features. This software is very useful for every computers to instant speed up which is automated with the same configuration.... Platforms: Windows 2000, Windows XP, Windows 8, Win7 x32, Win7 x64, WinOther, WinServer, WinVista, Windows 10

Z-Cron is a scheduler that allows you to automatically execute tasks on computers according to a schedule. It acts as a central managing tool for the automation and monitoring of computer systems. Z-Cron scheduler does not only start other applications, it also includes a large variety of... Platforms: Windows 2000, Windows XP, Windows 2003, Windows Vista Starter, Windows Vista Home Basic, Windows Vista Home Premium, Windows Vista Business, Windows Vista Enterprise, Windows Vista Ultimate, Windows Vista Home Basic x64, Windows Vista Home Premium x64, Windows Vista Business x64, Windows Vista Enterprise x64, Windows Vista Ultimate x64, WinVista,WinVista x64,Win7 x32,Win7 x64,WinServer

Paragon Mount Everything includes a set of installable filesystem drivers that allow you to access "foreign" file systems under Linux, Windows and DOS environments. Supplementary disk management utilities provide an ability to perform basic hard disk partitioning functions. After Paragon Mount... Platforms: Windows 95, Windows 98, Windows Me, Windows NT 4.x, Windows 2000, Windows XP, Linux

PIKT® is cross-categorical, multi-purpose software to monitor and configure computer systems, report and fix problems, manage system security. Use it to arrange job scheduling, format documents, install files, assist command-line work, and perform many other common systems administration tasks.... Platforms: Unix, Linux

Sussen is a tool that checks for vulnerabilities and configuration issues on computer systems. It is based on the Open Vulnerability and Assessment Language.. Platforms: Linux

WinGuides Tweak Manager enables casual and experienced computer users alike to effortlessly make their computer systems faster, more efficient and more secure! With just a few mouse clicks you can customize virtually every aspect of your computer, including tweaks for popular software like... Platforms: Win95, Win98, WinME, WinNT 3.x, WinNT 4.x, WinXP, Windows2000, Windows2003

Postal and Banking Barcode Download is helpful and reliable software for organize postal and banking records and other activities in protected and professional way by your stand alone computer systems. Application provides facility to create multiple barcode images in a same time. Postal and... Platforms: Win7 x32,Win7 x64,WinServer,WinVista,WinVista x64,WinXP

Post office barcode downloads is powerful software to create and design amazing barcode labels from standalone computer systems. Barcode generator application creates higher quality barcodes in several shape and size with advanced color, font and printing style. Post office barcode download... Platforms: Win7 x32,Win7 x64,WinServer,WinVista,WinVista x64,WinXP

Computers are commonplace; every other house, office, shop, school, hospital etc depend upon these computer systems for proper and systematic functioning of their operations. In such a scenario, data loss incidences are common than any other thing in this fast paced computer world. Data loss... Platforms: Windows2000,WinXP,Windows2003,Windows Vista Starter,Windows7

Computing - Data Structures - Data Files - Computer Systems - Data Handling - System Development - Computer Programming - Binary Numbers - Binary Arithmetic - Number Systems - Digital Techniques - Logic Gates - Logic Gates 2 - Logic Families - Flip Flops - Combinational Logic - Counters -... Platforms: Win95,Win98,WinME,WinNT 4.x,WinXP,Windows2000,Windows2003,Windows Vista Starter,Windows Vista Home Basic,Windows Vista Home Premium,Windows Vista Business,Windows Vista Enterprise,Windows Vista Ultimate,Windows Vista Home Basic x64

The Java Framework for Computer Emulation (JFraCE) is a framework written completely in Java for emulating (old) computer systems on the software level. Currently only an emulator of a Z80-based CP/M machine is implemented. Platforms: Windows, Mac, Linux

Software from LoCI Laboratory is devoted to information logistics, the study of the flexible coscheduling of the physical resources that underpin computer systems: storage, computation, and data transmission. We use IBP, L-Bone, exNode and LoRS. Platforms: Windows, BSD, Mac, Linux

QuickOrder is:- restaurants software- pizza restaurant software- restaurant pos software - software for restaurants- restaurant reservations software- restaurant point of sale- restaurant computer systems Platforms: Mac, Linux

VolksForth is a 16bit Forth System with the goal to produce a manageable Forthsystem for computer systems with restricted system resources. Platforms: Mac